algebraic extension of a field

域的代数扩张